(ff) 

latex

Up	bool 1, bool 1
Definitions	t  T, P  Q, A, x:A. B(x), if b then t else f fi , False, ff, b,
Lemmas	bfalse wf, assert wf